projective unitary group

射影酉群